A Behavioural Theory for a pi-calculus with Preorders
نویسندگان
چکیده
منابع مشابه
A Behavioural Theory for a π-calculus with Preorders
We study the behavioural theory of πP, a π-calculus featuring restriction as the only binder. In contrast with calculi such as Fusions and Chi, reduction in πP generates a preorder on names rather than an equivalence relation. We present two characterisations of barbed congruence in πP: the first is based on a compositional LTS, and the second is an axiomatisation. The results in this paper bri...
متن کاملCharacterisations of Testing Preorders for a Finite Probabilistic pi-Calculus
We consider two characterisations of the may and must testing preorders for a probabilistic extension of the finite π-calculus: one based on notions of probabilistic weak simulations, and the other on a probabilistic extension of a fragment of Milner-Parrow-Walker modal logic for the π-calculus. We base our notions of simulations on the similar concepts used in previous work for probabilistic C...
متن کاملToward a Modal Theory of Types for the pi-Calculus
We study the problem of specifying and verifying properties of -calculus processes while relying on a bisimulation semantics. As our property speci cation language we use a version of the modal -calculus adapted to the -calculus. We show that the logical language is su ciently expressive to characterize by means of a nite formula a process up to any approximation of the bisimulation relation. W...
متن کاملA synchronous pi-calculus
The SL synchronous programming model is a relaxation of the Esterel synchronous model where the reaction to the absence of a signal within an instant can only happen at the next instant. In previous work, we have revisited the SL synchronous programming model. In particular, we have discussed an alternative design of the model, introduced a CPS translation to a tail recursive form, and proposed...
متن کاملThe Pi-Calculus - a theory of mobile processes
As known, adventure and experience about lesson, entertainment, and knowledge can be gained by only reading a book. Even it is not directly done, you can know more about this life, about the world. We offer you this proper and easy way to gain those all. We offer many book collections from fictions to science at all. One of them is this the pi calculus a theory of mobile processes that can be y...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.160.11